#!/usr/bin/python

import os
import sys
from sets import Set


linestring = open(sys.argv[1], 'r').read()

for line in linestring.split('\n'):
	if line.startswith("#") or (line.find("\t") == -1):
		print(line)
	else:
		values = line.split("\t")
		print(str(long(values[0]) / 1000.0) + "\t" + str(long(values[1]) / 1000.0))
